Disclosing the secrets of memristors and implication logic

Memristors have become interesting to many research areas within the last years. This paper discusses memristors in the context of digital logic synthesis. Giving a brief overview about memristor characteristics it is explained how they can be used in digital logic. It will be explained how memristors map to digital logic operations and how this can be used with common synthesis methods to turn an arbitrary boolean function into a logic circuit. This will highlight several fundamental differences limitations as well as chances between memristive and standard digital logic. The paper closes with referencing to essential publications and to address future work.